Artifact for the paper "Exact Recursive Probabilistic Programming". After downloading, run with sudo docker load -i sudo docker run -i -t perpl Instructions to run it can be found in the image's README.m
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This upload is a docker image containing the artifact accompanying our ESEC/FSE'21 paper "Lightweigh...
This is the primary artifact for "Scaling Exact Inference for Discrete Probabilistic Programs", to a...
Artifact for the paper "Exact Recursive Probabilistic Programming". After downloading, run with su...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact acompanying the paper "This is the Moment for Probabilistic Loops". Please download the zi...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST'23...
This upload is a docker image containing the artifact accompanying our OOPSLA-2023 paper "Inference ...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
ICFP 2022 Paper Artifact Paper: "Random Testing of a Higher-Order Blockchain Language (Experience ...
This artifact accompanies the CAV 2023 paper with the title 'Efficient Sensitivity Analysis for Para...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This upload is a docker image containing the artifact accompanying our ESEC/FSE'21 paper "Lightweigh...
This is the primary artifact for "Scaling Exact Inference for Discrete Probabilistic Programs", to a...
Artifact for the paper "Exact Recursive Probabilistic Programming". After downloading, run with su...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact acompanying the paper "This is the Moment for Probabilistic Loops". Please download the zi...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST'23...
This upload is a docker image containing the artifact accompanying our OOPSLA-2023 paper "Inference ...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
ICFP 2022 Paper Artifact Paper: "Random Testing of a Higher-Order Blockchain Language (Experience ...
This artifact accompanies the CAV 2023 paper with the title 'Efficient Sensitivity Analysis for Para...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This upload is a docker image containing the artifact accompanying our ESEC/FSE'21 paper "Lightweigh...
This is the primary artifact for "Scaling Exact Inference for Discrete Probabilistic Programs", to a...
DOI
Add to ORKG